- canonical derivation
- канонический вывод (предложения или сентенциальной формы)
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
canonical — A canonical derivation in logic is one satisfying some set of conditions that are laid down: thus it may be important to show that if there is a derivation of B from A, there is a particular kind of derivation, en route to showing some result of… … Philosophy dictionary
Canonical ensemble — A canonical ensemble in statistical mechanics is a statistical ensemble representing a probability distribution of microscopic states of the system. The probability distribution is characterised by the proportion pi of members of the ensemble… … Wikipedia
Canonical LR parser — A canonical LR parser or LR(1) parser is an LR parser whose parsing tables are constructed in a similar way as with LR(0) parsers except that the items in the item sets also contain a lookahead , i.e., a terminal that is expected by the parser… … Wikipedia
Post canonical system — A Post canonical system, as created by Emil Post, is a string manipulation system that starts with finitely many strings and repeatedly transforms them by applying a finite set of specified rules of a certain form, thus generating a formal… … Wikipedia
Estimation of covariance matrices — In statistics, sometimes the covariance matrix of a multivariate random variable is not known but has to be estimated. Estimation of covariance matrices then deals with the question of how to approximate the actual covariance matrix on the basis… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Maxwell–Boltzmann statistics — Statistical mechanics Thermodynamics · … Wikipedia
General relativity — For a generally accessible and less technical introduction to the topic, see Introduction to general relativity. General relativity Introduction Mathematical formulation Resources … Wikipedia
Fermi–Dirac statistics — Statistical mechanics Thermodynamics · … Wikipedia
Apocrypha — • A long article with a comments on each Apocryphal book. Classified according to origin Catholic Encyclopedia. Kevin Knight. 2006. Apocrypha Apocrypha … Catholic encyclopedia
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism